Tractable Fragments of Fuzzy Qualitative Algebra

Abstract

In this paper we study the computational complexity of Fuzzy Qualitative Temporal Algebra (QA ^fuz ), a framework that combines qualitative temporal constraints between points and intervals, and allows modelling vagueness and uncertainty. Its tractable fragments can be identified by generalizing the results obtained for crisp Constraint Satisfaction Problems (CSPs) to fuzzy CSPs (FCSPs); to do this, we apply a general methodology based on the notion of α-cut. In particular, the results concerning the tractability of Qualitative Algebra QA, obtained in a recent study by different authors, can be extended to identify the tractable algebras of the fuzzy Qualitative Algebra QA ^fuz in such a way that the obtained set is maximal, namely any maximal tractable fuzzy algebra belongs to this set.     

Effects of heavy ions on visual function and electrophysiology of rodents: the ALTEA-MICE project.

ALTEA-MICE will supplement the ALTEA project on astronauts and provide information on the functional visual impairment possibly induced by heavy ions during prolonged operations in microgravity. Goals of ALTEA-MICE are: (1) to investigate the effects of heavy ions on the visual system of normal and mutant mice with retinal defects; (2) to define reliable experimental conditions for space research; and (3) to develop animal models to study the physiological consequences of space travels on humans. Remotely controlled mouse setup, applied electrophysiological recording methods, remote particle monitoring, and experimental procedures were developed and tested. The project has proved feasible under laboratory-controlled conditions comparable in important aspects to those of astronauts' exposure to particle in space. Experiments are performed at the Brookhaven National Laboratories [BNL] (Upton, NY, USA) and the Gesellschaft für Schwerionenforschung mbH [GSI]/Biophysik (Darmstadt, FRG) to identify possible electrophysiological changes and/or activation of protective mechanisms in response to pulsed radiation. Offline data analyses are in progress and observations are still anecdotal. Electrophysiological changes after pulsed radiation are within the limits of spontaneous variability under anesthesia, with only indirect evidence of possible retinal/cortical responses. Immunostaining showed changes (e.g. increased expression of FGF2 protein in the outer nuclear layer) suggesting a retinal stress reaction to high-energy particles of potential relevance in space.     

Earth observation with MEO transmitters and UAS receivers: A potential utilization of Galileo constellation

Remote sensing application of Galileo upcoming constellation in the field of civil security is preliminarily analyzed, defining low resolution (25 m) and high resolution (7.5 m) working modes for a bistatic Synthetic Aperture Radar system utilizing Galileo satellites as transmitters and Unmanned Aerial Systems as receivers. Simulations offshore Somali coast and in a South Mediterranean Sea region showed that both low and high resolution acquisitions are feasible. For the low resolution mode a probability of successful image formation no matter the azimuth position of the receiving UAS has been estimated at nearly 100%. Whereas, for the high resolution mode it decreases to about 90%, which, if deemed unsatisfactory for the application, leads to the need for UAS to adapt its route to the actual Galileo satellite coverage.     

Analysis and experiments for delay compensation in attitude control of flexible spacecraft

Space vehicles are often characterized by highly flexible appendages, with low natural frequencies which can generate coupling phenomena during orbital maneuvering. The stability and delay margins of the controlled system are deeply affected by the presence of bodies with different elastic properties, assembled to form a complex multibody system. As a consequence, unstable behavior can arise. In this paper the problem is first faced from a numerical point of view, developing accurate multibody mathematical models, as well as relevant navigation and control algorithms. One of the main causes of instability is identified with the unavoidable presence of time delays in the GNC loop. A strategy to compensate for these delays is elaborated and tested using the simulation tool, and finally validated by means of a free floating platform, replicating the flexible spacecraft attitude dynamics (single axis rotation). The platform is equipped with thrusters commanded according to the on–off modulation of the Linear Quadratic Regulator (LQR) control law. The LQR is based on the estimate of the full state vector, i.e. including both rigid – attitude – and elastic variables, that is possible thanks to the on line measurement of the flexible displacements, realized by processing the images acquired by a dedicated camera. The accurate mathematical model of the system and the rigid and elastic measurements enable a prediction of the state, so that the control is evaluated taking the predicted state relevant to a delayed time into account. Both the simulations and the experimental campaign demonstrate that by compensating in this way the time delay, the instability is eliminated, and the maneuver is performed accurately.     

Development of the RFBB “Bargouzine” concept for Ariane-5 evolution

This paper presents the study of a concept of Ariane-5 evolution by means of replacement of two solid-propellant boosters EAP with two liquid-propellant reusable fly-back boosters (RFBBs) called “Bargouzine”. The main design feature of the reference RFBB is LOX/LH2 propellant, the canard aerodynamic configuration with delta wings and rocket engines derived from Vulcain-2 identical to that of the central core except for the nozzle length. After separation RFBBs return back by use of air breathing engines mounted in the aft part and then landing on a runway.The aim of the study is a more detailed investigation of critical technology issues concerning reliability, re-usability and maintenance requirements. The study was performed in three main phases: system trade-off, technical consolidation, and programmatic synthesis. The system trade-off includes comparative analysis of two systems with three and four engines on each RFBB and determination of the necessary thrust level taking into account thrust reservation for emergency situations. Besides, this phase contains trade-off on booster aerodynamic configurations and abort scenario analysis.The second phase includes studying of controllability during the ascent phase and separation, thermo-mechanical design, development of ground interfaces and attachment means, and turbojets engine analysis taking into account reusability.     

Hybrid Simulations of Wave Propagation and Ion Cyclotron Heating in the Expanding Solar Wind

We present results from hybrid (particle ions, fluid electrons) simulations of the evolution of Alfvén waves close to the ion cyclotron frequency in the solar wind, which take into account the basic properties of the background solar wind flow, i.e., the spherical expansion and the consequent decrease in magnetic field and cyclotron frequency with increasing distance from the Sun. We follow the evolution of a plasma parcel in a frame of reference moving with the solar wind using a 1D expanding box hybrid model; use of the hybrid model yields a fully self-consistent treatment of the resonant cyclotron wave-particle interaction. This model is related to a previous MHD model (Velli et al. 1992), which allows the use of a simple Cartesian geometry with periodic boundary conditions. The use of stretched expanding coordinates in directions transverse to the mean radial solar wind flow naturally introduces an anisotropic damping effect on velocity and magnetic field. We present results for the case of a single circularly polarized Alfvén wave propagating radially outward. Initially, the wave is below the cyclotron frequency for both the alpha partcles and protons. As the wind expands, the wave frequency (as seen in the solar wind frame) decreases more slowly than the cyclotron frequencies and the wave comes into resonance. With only protons, heating occurs as the wave frequency approaches the proton cyclotron frequency. With both alphas and protons, the alphas, which come into resonance first, are observed to be preferentially heated and accelerated. This revised version was published online in June 2006 with corrections to the Cover Date.     

Alfvén Wave Generation in Photospheric Vortex Filaments, Macrospicules, and Solar Tornadoes

The properties of Alfvén waves generated in the photosphere by field lines trapped in vortex sinks and propagating upwards through the transition region and corona are discussed and contrasted to those of waves generated via reconnection in transition region explosive events, or rather via untwisting reconnecting flux tubes. An outline for future simulations and theoretical advances necessary to understand the dynamics of spicules and macrospicules is described, and a detailed search for photospheric velocity patterns underlying macrospicules is suggested. This revised version was published online in June 2006 with corrections to the Cover Date.     

YES2 optimal trajectories in presence of eccentricity and aerodynamic drag

YES2 (launching 2007) aims to demonstrate a tether-assisted re-entry concept, whereby payload will be returned to Earth using momentum provided from a swinging tether. Deployment takes place in two phases: (1) deployment of 3.5 km of tether to the local vertical and hold, and (2) deployment to 30 km for a swinging cut. Optimal trajectories are determined for both phases after comparing the effect of different cost functions on the deployment dynamics. Closed-loop control is provided by linearizing the dynamics around the optimal trajectories and solving a receding horizon control problem for a set of linear feedback gains. The controllers are tested in a flexible tether model with large disturbances to the hardware model and environmental variables. Closed-loop simulations show that the system can be controlled quite well using only feedback of length and length rate.     

Electron coronal density irregularity\overline {n^2 } /(\bar n)^2 from measurements of K-coronal and lyman lines brightnesses

We propose a technique to derive the coronal density irregularity factor , wheren is the electron density. The absolute photometric comparison between the intensity of UV lines and the white-light K-coronal polarized brightness (pB) provides an unique constraint on the inhomogeneity of the corona. The ratio of the measured H I Lyman (Ly-) line intensity to the resonant-scattering dominated H I Lyman (Ly-) intensity can be used to extract the collisonal component of the Ly-. This component yields an estimate of . The quantity is then obtained from white-light K-coronal measurements. The use of lines of the same atomic species minimizes the effects due to outflow velocities (i.e., Doppler dimming), and reduces the errors introduced by the uncertainties in the ionization balance, the atomic parameters, and the solar abundances. The UVCS/SOHO unique capability of performing cotemporal and cospatial measurements of the Ly- and Ly- lines, and ofpB makes this instrument ideal for implementing this technique.